Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 009E62 | Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
| 009E81 | Hubert Comon [France] ; Robert Nieuwenhuis [Espagne] | Induction=I-Axiomatization+First-Order Consistency |
| 00A938 | Robert Nieuwenhuis [Espagne] ; José Miguel Rivero [Espagne] | Solved Forms for Path Ordering Constraints |
| 00A984 | Robert Nieuwenhuis [Espagne] | Invited Talk: Rewrite-Based Deduction and Symbolic Constraints |
| 00BC26 | Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Paramodulation with Built-in AC-Theories and Symbolic Constraints |
| 00CD56 | Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | AC-superposition with constraints: No AC-unifiers needed |
| 00D689 | Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Basic superposition is complete |
| This area was generated with Dilib version V0.6.33. |  |